#include "typedef.h"


void update_cursor(int, int);
void monitor_write_hex(u32);
void monitor_write_dec(u32);
void monitor_write(char*);
void monitor_write_n(char*, int);
void monitor_clear();
void monitor_put(char);

void kprintf(char*, ...);

